}?>
By Joining you agree to MachPrinciple's Terms and Conditions and Privacy Policy
Click to Login
Please check your email. A registration confirmation link will be sent to your mailbox..
A registration confirmation link has been sent to your email. Please check your email and finish the registration process.
Search a Conference through our dedicated search page
VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. Scope The program of VMCAI will consist of refereed research papers as well as invited lectures and tutorials. Research contributions can report new results as well as experimental evaluations and comparisons of existing techniques.